Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
341	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
342	Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computing Computer programming Parsing expression grammar Recursive descent parser LL parser Left recursion LR parser Operator associativity Syntax Software engineering Formal languages Parsing
343	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
344	MOUSE : FROM PARSING EXPRESSIONS TO A PRACTICAL PARSER VersionRoman R. Redziejowski Parsing Expression Grammar (PEG) is a new way to specify recursive-descent parsers with Add to Reading List Source URL: mousepeg.sourceforge.net Language: English - Date: 2014-05-13 09:03:26 Formal languages Compiler construction Software engineering Parsing expression grammar Top-down parsing language LL parser Recursive descent parser Top-down parsing Lookahead Programming language implementation Parsing Computing
345	Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1 Add to Reading List Source URL: intra.info.uqam.ca Language: English - Date: 2009-08-04 12:55:11 Structure Lie groups Algebraic groups Hierarchy Patterns Political culture Complete lattice Formal concept analysis Frame language Abstract algebra Mathematics Lattice theory
346	Workshop THE STRUCTURE OF VERSE Formal, (psychological) / experimental and computational approaches Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Prosody Interdisciplinary fields Scansion Metre Rhythm Line Language Linguistics Literature Poetics Poetry
347	Eric Bakovic´ Curriculum vitae page 1 of 11 February 2015 Add to Reading List Source URL: works.bepress.com Language: English - Date: 2007-05-22 21:05:25 Eric Bakovic Optimality theory Phonology West Coast Conference on Formal Linguistics Junko Itō Alan Prince Western Conference on Linguistics Language Log Linguistics Language Academia
348	Copyright © 2006, PerfX and Performance Engineering Services. All rights reserved. Appears in Proc. CMGFive Steps to Establish Software Performance Engineering in Your Organization Connie U. Smith, Ph.D. Add to Reading List Source URL: www.spe-ed.com Language: English - Date: 2007-04-11 12:41:37 Computing Software Cell Performance engineering Software development process IBM Rational Unified Process Software development methodology Modeling language Software performance testing Software development Formal methods Software optimization
349	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
350	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving

UPDATE